A logical foundation for deductive object-oriented databases
نویسندگان
چکیده
منابع مشابه
Deductive and Object-Oriented Databases
It is desirable to answer queries posed to deductive databases by computing fix-points because such computations are directly amenable to set-oriented fact processing. However, the classical fixpoint procedures based on bottom-up reasoning-the naive and semi-naive methods-are rather primitive and often inefficient. In this article, we rely on bottom-up meta-interpretation for formalizing a new ...
متن کاملApproaches to deductive object-oriented databases
This paper is concerned with the problem of combining deductive and object-oriented features to produce a deductive object-oriented database system which is comparable to those currently available under the relational view of data modelling not only in its functionality but also in the techniques employed in its construction and use. Under this assumption, we highlight the kinds of issues that ...
متن کاملDeclarative Updates in Deductive Object-Oriented Databases
Updates are important database operations, but there has not yet been a uniform logical framework that accounts for them. This paper presents an approach to deal with updates in the deductive object-oriented database setting. It incorporates temporal information into update rules, so that diierent versions of objects may be created at diierent time points and can be identiied by the temporal in...
متن کاملA logical framework for temporal deductive databases
Temporal deductive databases are deductive databases with an ability to represent both valid time and transaction time. The work is based on the Event Calculus of Kowalski & Sergot. Event Calculus is a treatment of time, based on the notion of events, in first-order classical logic augmented with negation as failure. It formalizes the semantics of valid time in deductive databases and offers ca...
متن کاملSemantics of Behavioral Inheritance in Deductive Object-oriented Databases Semantics of Behavioral Inheritance in Deductive Object-oriented Databases
We propose a novel semantics for object-oriented deductive databases in the direction of F-logic to logically account for behavioral inheritance, connict resolution in multiple inheritance hierarchies, and overriding. We introduce the ideas of withdrawal, locality, and inheritability of properties (i.e., methods and signatures). Exploiting these ideas, we develop a declarative semantics of beha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Database Systems
سال: 2002
ISSN: 0362-5915,1557-4644
DOI: 10.1145/507234.507237